x86-64/EFI: construct EDD data from device path protocol information
authorJan Beulich <jbeulich@novell.com>
Fri, 19 Aug 2011 08:55:20 +0000 (09:55 +0100)
committerJan Beulich <jbeulich@novell.com>
Fri, 19 Aug 2011 08:55:20 +0000 (09:55 +0100)
commit51f03ec421fb50d2c24a48716a222b8646eab305
treef5e458620bd4da860da80c5b2f12ccad60e5f670
parent2bd22d3c9919029034d51322e301ca158137994a
x86-64/EFI: construct EDD data from device path protocol information

In the absence of a BIOS to handle INT13 requests, this information
must be constructed artificially instead when booted from EFI.

Signed-off-by: Jan Beulich <jbeulich@novell.com>
xen/arch/x86/boot/edd.S
xen/arch/x86/efi/boot.c
xen/include/asm-x86/edd.h